test for perpendicular line

[数] 垂直线验证法